[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 92 97 88 207 90 101 135

N.S.

1 1.00 1.00 1.05 0.96 2.25 0.98 1.10 1.47

time (sec)

N/A 0.057 0.115 0.097 0.287 1.455 17.680 2.731 0.337

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 87 127 109 211 148 89 103

N.S.

1 1.00 0.80 1.17 1.00 1.94 1.36 0.82 0.94

time (sec)

N/A 0.060 0.164 0.112 0.284 1.462 25.210 1.177 0.506

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 140 104 200 173 225 219 153 137

N.S.

1 0.98 0.73 1.40 1.21 1.57 1.53 1.07 0.96

time (sec)

N/A 0.109 0.220 0.108 0.292 1.727 67.571 1.391 0.617

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 126 272 247 276 291 222 193

N.S.

1 1.00 0.85 1.83 1.66 1.85 1.95 1.49 1.30

time (sec)

N/A 0.103 0.222 0.102 0.276 1.505 80.623 0.942 0.858

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 188 156 257 237 341 411 174 -1

N.S.

1 0.98 0.82 1.35 1.24 1.79 2.15 0.91 -0.01

time (sec)

N/A 0.126 0.192 0.092 0.272 1.941 28.588 1.565 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 121 187 168 262 291 128 -1

N.S.

1 1.00 0.81 1.26 1.13 1.76 1.95 0.86 -0.01

time (sec)

N/A 0.063 0.155 0.090 0.297 1.512 8.414 1.404 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 130 106 165 120 215 219 126 -1

N.S.

1 0.98 0.80 1.24 0.90 1.62 1.65 0.95 -0.01

time (sec)

N/A 0.059 0.160 0.091 0.314 1.404 4.168 1.253 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 90 124 86 210 170 188 -1

N.S.

1 1.00 0.81 1.12 0.77 1.89 1.53 1.69 -0.01

time (sec)

N/A 0.046 0.186 0.091 0.331 1.296 2.509 1.445 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 104 124 94 221 199 403 -1

N.S.

1 1.00 1.01 1.20 0.91 2.15 1.93 3.91 -0.01

time (sec)

N/A 0.041 0.176 0.096 0.298 1.751 2.132 1.201 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 100 76 126 124 107 510 490 181

N.S.

1 1.01 0.77 1.27 1.25 1.08 5.15 4.95 1.83

time (sec)

N/A 0.049 0.159 0.100 0.304 1.765 2.120 1.281 0.777

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 144 108 194 190 147 1061 579 249

N.S.

1 1.01 0.76 1.36 1.33 1.03 7.42 4.05 1.74

time (sec)

N/A 0.090 0.194 0.106 0.286 2.010 2.704 1.337 1.053

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 190 141 266 258 185 1856 668 317

N.S.

1 1.01 0.75 1.41 1.37 0.98 9.82 3.53 1.68

time (sec)

N/A 0.111 0.243 0.127 0.311 1.832 3.380 1.315 1.381

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 278 224 377 367 494 0 263 -1

N.S.

1 0.99 0.80 1.34 1.31 1.76 0.00 0.94 -0.00

time (sec)

N/A 0.177 0.314 0.099 0.301 2.584 0.000 1.152 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 100 185 181 179 384 150 170

N.S.

1 1.00 0.88 1.62 1.59 1.57 3.37 1.32 1.49

time (sec)

N/A 0.062 0.075 0.094 0.288 1.520 0.429 1.208 0.391

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 232 192 305 299 419 505 219 -1

N.S.

1 0.99 0.82 1.30 1.27 1.78 2.15 0.93 -0.00

time (sec)

N/A 0.147 0.269 0.090 0.322 1.415 169.313 2.151 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 67 117 115 141 303 98 136

N.S.

1 1.00 0.87 1.52 1.49 1.83 3.94 1.27 1.77

time (sec)

N/A 0.042 0.053 0.089 0.292 1.088 0.304 1.468 0.367

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 158 235 227 344 440 175 -1

N.S.

1 1.00 0.81 1.20 1.16 1.76 2.24 0.89 -0.01

time (sec)

N/A 0.080 0.229 0.092 0.281 1.936 35.650 1.585 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 103 111 103 282 109 121 191

N.S.

1 1.00 0.93 1.00 0.93 2.54 0.98 1.09 1.72

time (sec)

N/A 0.067 0.143 0.099 0.303 1.268 41.808 1.080 0.342

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 172 139 213 178 293 367 173 -1

N.S.

1 0.98 0.79 1.22 1.02 1.67 2.10 0.99 -0.01

time (sec)

N/A 0.077 0.248 0.097 0.317 1.203 12.768 1.628 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 108 155 138 267 303 126 201

N.S.

1 1.00 0.79 1.14 1.01 1.96 2.23 0.93 1.48

time (sec)

N/A 0.076 0.189 0.124 0.296 1.315 31.321 1.619 0.548

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 181 119 239 177 266 352 262 -1

N.S.

1 0.98 0.65 1.30 0.96 1.45 1.91 1.42 -0.01

time (sec)

N/A 0.088 0.274 0.100 0.272 2.009 6.302 1.061 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 178 116 242 222 267 332 182 208

N.S.

1 0.98 0.64 1.34 1.23 1.48 1.83 1.01 1.15

time (sec)

N/A 0.137 0.228 0.124 0.274 1.745 77.684 1.075 0.761

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 112 204 147 266 304 407 -1

N.S.

1 1.00 0.76 1.39 1.00 1.81 2.07 2.77 -0.01

time (sec)

N/A 0.064 0.274 0.101 0.295 1.730 4.251 1.160 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 184 133 314 301 301 367 259 215

N.S.

1 0.98 0.71 1.68 1.61 1.61 1.96 1.39 1.15

time (sec)

N/A 0.149 0.233 0.117 0.302 1.116 104.805 1.011 1.091

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 99 185 181 216 468 150 207

N.S.

1 1.00 0.87 1.62 1.59 1.89 4.11 1.32 1.82

time (sec)

N/A 0.061 0.078 0.092 0.303 1.192 0.693 0.950 0.452

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 278 225 353 361 495 0 265 -1

N.S.

1 0.99 0.80 1.26 1.28 1.76 0.00 0.94 -0.00

time (sec)

N/A 0.170 0.347 0.094 0.283 2.015 0.000 1.165 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 67 117 115 178 384 98 98

N.S.

1 1.00 0.87 1.52 1.49 2.31 4.99 1.27 1.27

time (sec)

N/A 0.038 0.055 0.095 0.281 1.240 0.565 0.876 0.389

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 191 283 286 420 537 221 -1

N.S.

1 1.00 0.80 1.18 1.19 1.75 2.24 0.92 -0.00

time (sec)

N/A 0.096 0.302 0.095 0.285 1.984 179.905 0.671 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 115 125 120 360 128 141 249

N.S.

1 1.00 0.87 0.95 0.91 2.73 0.97 1.07 1.89

time (sec)

N/A 0.076 0.148 0.089 0.301 1.323 59.132 0.658 0.369

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 214 175 261 235 375 496 219 -1

N.S.

1 0.99 0.81 1.20 1.08 1.73 2.29 1.01 -0.00

time (sec)

N/A 0.095 0.341 0.097 0.334 1.233 41.459 0.582 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 133 183 170 349 518 165 274

N.S.

1 1.00 0.82 1.13 1.05 2.15 3.20 1.02 1.69

time (sec)

N/A 0.091 0.206 0.118 0.357 1.214 39.164 0.622 0.705

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 219 154 287 234 346 490 307 -1

N.S.

1 0.98 0.69 1.29 1.05 1.55 2.20 1.38 -0.00

time (sec)

N/A 0.118 0.313 0.106 0.308 1.207 15.153 0.694 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 219 153 284 271 319 473 242 262

N.S.

1 0.99 0.69 1.28 1.22 1.44 2.13 1.09 1.18

time (sec)

N/A 0.167 0.216 0.130 0.304 2.056 84.674 0.646 0.880

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 225 156 359 285 318 474 510 -1

N.S.

1 0.99 0.68 1.57 1.25 1.39 2.08 2.24 -0.00

time (sec)

N/A 0.111 0.390 0.103 0.307 1.317 8.275 0.572 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 219 152 356 353 347 468 286 301

N.S.

1 0.99 0.68 1.60 1.59 1.56 2.11 1.29 1.36

time (sec)

N/A 0.175 0.255 0.123 0.306 1.840 117.696 0.567 1.313

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 158 272 243 344 422 178 -1

N.S.

1 1.00 0.81 1.40 1.25 1.77 2.18 0.92 -0.01

time (sec)

N/A 0.105 0.234 0.101 0.300 1.152 49.874 0.544 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 99 185 181 103 240 137 105

N.S.

1 1.00 0.88 1.65 1.62 0.92 2.14 1.22 0.94

time (sec)

N/A 0.061 0.068 0.091 0.284 1.306 0.383 0.593 0.362

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 124 200 175 267 301 135 -1

N.S.

1 1.00 0.85 1.37 1.20 1.83 2.06 0.92 -0.01

time (sec)

N/A 0.096 0.173 0.088 0.295 2.408 12.533 0.766 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 66 116 114 68 158 84 68

N.S.

1 1.00 0.89 1.57 1.54 0.92 2.14 1.14 0.92

time (sec)

N/A 0.038 0.044 0.087 0.296 1.827 0.296 1.293 0.323

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 90 133 109 194 238 91 -1

N.S.

1 1.00 0.84 1.24 1.02 1.81 2.22 0.85 -0.01

time (sec)

N/A 0.038 0.095 0.090 0.335 1.775 4.378 1.060 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 63 86 75 157 76 82 77

N.S.

1 1.00 0.84 1.15 1.00 2.09 1.01 1.09 1.03

time (sec)

N/A 0.049 0.072 0.090 0.325 1.333 18.963 1.032 0.365

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 79 87 73 165 155 93 125

N.S.

1 1.00 0.96 1.06 0.89 2.01 1.89 1.13 1.52

time (sec)

N/A 0.032 0.121 0.096 0.352 1.270 2.168 1.021 0.734

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 77 99 77 175 99 81 65

N.S.

1 1.00 0.96 1.24 0.96 2.19 1.24 1.01 0.81

time (sec)

N/A 0.049 0.123 0.107 0.273 1.629 39.449 0.919 0.449

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 73 84 77 173 158 156 -1

N.S.

1 1.00 0.87 1.00 0.92 2.06 1.88 1.86 -0.01

time (sec)

N/A 0.033 0.127 0.095 0.276 1.609 1.426 0.931 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 92 159 123 204 178 140 129

N.S.

1 1.00 0.87 1.50 1.16 1.92 1.68 1.32 1.22

time (sec)

N/A 0.072 0.184 0.103 0.298 1.638 74.230 0.788 0.511

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 100 74 126 124 73 391 312 77

N.S.

1 1.01 0.75 1.27 1.25 0.74 3.95 3.15 0.78

time (sec)

N/A 0.048 0.123 0.093 0.333 1.354 1.938 1.033 0.385

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 128 227 190 279 301 241 207

N.S.

1 1.00 0.85 1.50 1.26 1.85 1.99 1.60 1.37

time (sec)

N/A 0.108 0.290 0.106 0.282 1.635 132.561 1.418 0.555

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 155 266 241 431 0 175 -1

N.S.

1 1.00 0.79 1.35 1.22 2.19 0.00 0.89 -0.01

time (sec)

N/A 0.102 0.260 0.114 0.285 2.118 0.000 1.181 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 97 182 180 115 236 149 107

N.S.

1 1.00 0.90 1.69 1.67 1.06 2.19 1.38 0.99

time (sec)

N/A 0.061 0.067 0.108 0.275 1.354 0.484 0.728 0.418

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 121 194 170 350 0 131 -1

N.S.

1 1.00 0.80 1.28 1.12 2.30 0.00 0.86 -0.01

time (sec)

N/A 0.081 0.202 0.113 0.303 1.489 0.000 0.556 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 65 115 115 79 155 92 75

N.S.

1 1.00 0.89 1.58 1.58 1.08 2.12 1.26 1.03

time (sec)

N/A 0.038 0.052 0.101 0.316 0.995 0.400 0.533 0.358

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 92 123 108 275 0 92 -1

N.S.

1 1.00 0.87 1.16 1.02 2.59 0.00 0.87 -0.01

time (sec)

N/A 0.039 0.156 0.112 0.286 1.501 0.000 0.557 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 100 90 232 70 82 76

N.S.

1 1.00 1.00 1.33 1.20 3.09 0.93 1.09 1.01

time (sec)

N/A 0.055 0.088 0.099 0.311 1.482 14.813 0.592 0.413

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 87 88 97 91 239 0 104 -1

N.S.

1 0.96 0.97 1.07 1.00 2.63 0.00 1.14 -0.01

time (sec)

N/A 0.046 0.136 0.111 0.304 1.287 0.000 0.573 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 106 97 135 112 292 0 140 119

N.S.

1 1.03 0.94 1.31 1.09 2.83 0.00 1.36 1.16

time (sec)

N/A 0.070 0.217 0.125 0.276 1.479 0.000 0.534 0.519

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 98 74 119 117 85 0 199 76

N.S.

1 1.01 0.76 1.23 1.21 0.88 0.00 2.05 0.78

time (sec)

N/A 0.048 0.124 0.101 0.279 1.150 0.000 0.560 0.393

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 125 212 177 364 0 163 179

N.S.

1 1.00 0.86 1.46 1.22 2.51 0.00 1.12 1.23

time (sec)

N/A 0.112 0.281 0.124 0.272 1.202 0.000 0.550 0.584

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 103 188 184 121 0 452 116

N.S.

1 1.00 0.73 1.33 1.30 0.86 0.00 3.21 0.82

time (sec)

N/A 0.077 0.164 0.113 0.270 1.379 0.000 0.903 0.477

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 191 158 284 247 447 0 267 246

N.S.

1 1.01 0.83 1.49 1.30 2.35 0.00 1.41 1.29

time (sec)

N/A 0.151 0.271 0.133 0.288 1.195 0.000 0.744 0.711

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 155 260 296 522 0 190 -1

N.S.

1 1.00 0.77 1.29 1.47 2.58 0.00 0.94 -0.00

time (sec)

N/A 0.101 0.278 0.169 0.300 1.941 0.000 0.657 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 98 183 181 124 454 140 107

N.S.

1 1.00 0.89 1.66 1.65 1.13 4.13 1.27 0.97

time (sec)

N/A 0.064 0.072 0.109 0.295 1.847 0.515 1.028 0.441

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 117 207 211 409 0 130 -1

N.S.

1 1.00 0.97 1.71 1.74 3.38 0.00 1.07 -0.01

time (sec)

N/A 0.077 0.209 0.127 0.306 2.746 0.000 1.260 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 67 116 114 91 303 79 76

N.S.

1 1.00 0.93 1.61 1.58 1.26 4.21 1.10 1.06

time (sec)

N/A 0.039 0.051 0.106 0.282 1.990 0.442 1.263 0.361

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 102 156 147 321 0 105 -1

N.S.

1 1.00 0.97 1.49 1.40 3.06 0.00 1.00 -0.01

time (sec)

N/A 0.036 0.174 0.095 0.275 2.487 0.000 1.219 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 87 120 108 316 87 102 90

N.S.

1 1.00 0.99 1.36 1.23 3.59 0.99 1.16 1.02

time (sec)

N/A 0.067 0.125 0.108 0.279 1.599 18.865 1.006 0.448

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 76 153 132 92 0 117 77

N.S.

1 1.00 0.84 1.70 1.47 1.02 0.00 1.30 0.86

time (sec)

N/A 0.033 0.134 0.109 0.355 2.023 0.000 0.786 0.351

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 134 120 173 146 426 0 128 147

N.S.

1 1.02 0.92 1.32 1.11 3.25 0.00 0.98 1.12

time (sec)

N/A 0.085 0.204 0.134 0.273 1.371 0.000 0.995 0.487

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 130 107 179 175 130 0 258 187

N.S.

1 0.99 0.82 1.37 1.34 0.99 0.00 1.97 1.43

time (sec)

N/A 0.084 0.153 0.119 0.332 1.676 0.000 0.876 0.419

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 159 269 231 537 0 210 216

N.S.

1 1.00 0.86 1.45 1.25 2.90 0.00 1.14 1.17

time (sec)

N/A 0.149 0.212 0.163 0.296 0.881 0.000 1.063 0.616

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 142 251 244 171 0 509 298

N.S.

1 1.00 0.78 1.37 1.33 0.93 0.00 2.78 1.63

time (sec)

N/A 0.110 0.223 0.132 0.285 2.052 0.000 1.359 0.544

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 56 54 67 147 0 56 51

N.S.

1 1.00 0.78 0.75 0.93 2.04 0.00 0.78 0.71

time (sec)

N/A 0.019 0.017 0.096 0.492 1.102 0.000 0.993 0.361

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 44 38 49 126 0 40 37

N.S.

1 1.00 0.85 0.73 0.94 2.42 0.00 0.77 0.71

time (sec)

N/A 0.012 0.013 0.094 0.517 2.827 0.000 0.782 0.324

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 24 23 94 0 22 23

N.S.

1 1.00 1.00 0.71 0.68 2.76 0.00 0.65 0.68

time (sec)

N/A 0.006 0.006 0.104 0.489 1.827 0.000 0.877 0.341

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 46 36 35 132 0 43 38

N.S.

1 1.00 0.92 0.72 0.70 2.64 0.00 0.86 0.76

time (sec)

N/A 0.011 0.012 0.089 0.483 1.254 0.000 0.817 0.354

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 58 57 52 157 0 54 53

N.S.

1 1.00 0.85 0.84 0.76 2.31 0.00 0.79 0.78

time (sec)

N/A 0.017 0.016 0.094 0.493 1.639 0.000 0.934 0.348

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 166 767 0 857 0 0 -1

N.S.

1 1.00 1.06 4.89 0.00 5.46 0.00 0.00 -0.01

time (sec)

N/A 0.163 0.355 0.138 0.000 1.202 0.000 0.000 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 85 666 0 295 87 96 86

N.S.

1 1.00 0.97 7.57 0.00 3.35 0.99 1.09 0.98

time (sec)

N/A 0.061 0.135 0.107 0.000 1.557 3.550 0.804 0.347

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 128 700 0 690 0 0 -1

N.S.

1 1.00 1.14 6.25 0.00 6.16 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.189 0.117 0.000 1.191 0.000 0.000 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 65 647 0 255 61 64 53

N.S.

1 1.00 1.00 9.95 0.00 3.92 0.94 0.98 0.82

time (sec)

N/A 0.040 0.074 0.101 0.000 1.458 2.256 0.627 0.356

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 102 653 0 596 0 0 -1

N.S.

1 1.00 1.26 8.06 0.00 7.36 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.166 0.092 0.000 1.368 0.000 0.000 0.000

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 689 0 578 78 78 103

N.S.

1 1.00 0.98 8.61 0.00 7.22 0.98 0.98 1.29

time (sec)

N/A 0.055 0.078 0.107 0.000 1.878 3.878 0.845 0.403

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 89 724 0 273 0 117 -1

N.S.

1 1.00 1.27 10.34 0.00 3.90 0.00 1.67 -0.01

time (sec)

N/A 0.037 0.155 0.112 0.000 1.174 0.000 1.405 0.000

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 107 759 0 708 0 106 268

N.S.

1 1.00 0.95 6.72 0.00 6.27 0.00 0.94 2.37

time (sec)

N/A 0.086 0.279 0.120 0.000 2.390 0.000 1.384 0.539

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 114 750 0 325 0 215 -1

N.S.

1 1.00 1.09 7.14 0.00 3.10 0.00 2.05 -0.01

time (sec)

N/A 0.080 0.224 0.106 0.000 1.426 0.000 2.335 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 215 1389 0 1119 0 0 -1

N.S.

1 1.00 1.02 6.61 0.00 5.33 0.00 0.00 -0.00

time (sec)

N/A 0.269 0.414 0.132 0.000 5.369 0.000 0.000 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 109 1256 0 397 104 151 179

N.S.

1 1.00 0.95 10.92 0.00 3.45 0.90 1.31 1.56

time (sec)

N/A 0.073 0.214 0.102 0.000 1.393 19.702 0.808 0.366

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 158 1306 0 894 0 0 -1

N.S.

1 1.00 1.00 8.27 0.00 5.66 0.00 0.00 -0.01

time (sec)

N/A 0.164 0.335 0.122 0.000 2.285 0.000 0.000 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 82 1237 0 303 80 112 98

N.S.

1 1.00 0.90 13.59 0.00 3.33 0.88 1.23 1.08

time (sec)

N/A 0.052 0.144 0.100 0.000 1.451 11.394 0.583 0.349

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 129 1243 0 721 0 0 -1

N.S.

1 1.00 1.14 11.00 0.00 6.38 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.271 0.123 0.000 1.481 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 103 1293 0 682 92 110 711

N.S.

1 1.00 1.07 13.47 0.00 7.10 0.96 1.15 7.41

time (sec)

N/A 0.076 0.171 0.104 0.000 2.341 11.130 0.577 0.424

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 129 1330 0 718 0 0 -1

N.S.

1 1.00 1.26 13.04 0.00 7.04 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.229 0.118 0.000 1.485 0.000 0.000 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 108 1377 0 732 0 120 560

N.S.

1 1.00 0.95 12.08 0.00 6.42 0.00 1.05 4.91

time (sec)

N/A 0.098 0.248 0.129 0.000 2.238 0.000 0.749 0.638

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 111 1439 0 331 0 256 -1

N.S.

1 1.00 1.09 14.11 0.00 3.25 0.00 2.51 -0.01

time (sec)

N/A 0.084 0.277 0.115 0.000 1.930 0.000 1.656 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 266 2252 0 1443 0 0 -1

N.S.

1 1.00 0.91 7.74 0.00 4.96 0.00 0.00 -0.00

time (sec)

N/A 0.372 0.645 0.139 0.000 12.582 0.000 0.000 0.000

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 140 2087 0 527 144 228 251

N.S.

1 1.00 0.97 14.49 0.00 3.66 1.00 1.58 1.74

time (sec)

N/A 0.097 0.205 0.106 0.000 1.636 35.005 0.520 0.343

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 206 2153 0 1161 0 0 -1

N.S.

1 1.00 0.95 9.92 0.00 5.35 0.00 0.00 -0.00

time (sec)

N/A 0.262 0.411 0.131 0.000 4.849 0.000 0.000 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 116 2068 0 405 117 184 137

N.S.

1 1.00 0.97 17.38 0.00 3.40 0.98 1.55 1.15

time (sec)

N/A 0.069 0.127 0.097 0.000 1.357 23.581 0.551 0.343

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 160 2074 0 931 0 0 -1

N.S.

1 1.00 1.03 13.29 0.00 5.97 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.349 0.126 0.000 2.558 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 114 2138 0 837 119 163 2094

N.S.

1 1.00 0.92 17.24 0.00 6.75 0.96 1.31 16.89

time (sec)

N/A 0.131 0.163 0.098 0.000 2.990 22.287 0.611 0.519

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 148 2177 0 887 0 0 -1

N.S.

1 1.00 1.02 15.01 0.00 6.12 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.336 0.128 0.000 2.033 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]